Kolmogorov Complexity with Error

نویسندگان

  • Lance Fortnow
  • Troy Lee
  • Nikolai K. Vereshchagin
چکیده

We introduce the study of Kolmogorov complexity with error. For a metric d, we define Ca(x) to be the length of a shortest program p which prints a string y such that d(x, y) ≤ a. We also study a conditional version of this measure Ca,b(x|y) where the task is, given a string y′ such that d(y, y′) ≤ b, print a string x′ such that d(x, x′) ≤ a. This definition admits both a uniform measure, where the same program should work given any y′ such that d(y, y′) ≤ b, and a nonuniform measure, where we take the length of a program for the worst case y′. We study the relation of these measures in the case where d is Hamming distance, and show an example where the uniform measure is exponentially larger than the nonuniform one. We also show an example where symmetry of information does not hold for complexity with error under either notion of conditional complexity.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Martin-ll of Tests Can Help Too

We argue that Martin-LL of tests provide useful techniques in proofs involving Kolmogorov complexity. Our examples cover more areas: (1) logical deenability; we prove an analogue of the 0-1 Law for various logics in terms of structures with high Kolmogorov complexity, (2) probabilistic computation: we display a relation between the Kolmogorov complexity of the random strings on which a probabil...

متن کامل

Computational Error Complexity Classes

The complexity classes Nearly-BPP and Med DisP had been recently proposed as limits of eecient computation Yam1 96, Schi 96]. For both classes, a polynomial time bounded algorithm with bounded probabilistic error has to compute correct outputs for at least 1 ? 1 n !(1) of inputs of length n. We generalize this notion to general error probabilities and arbitrary complexity classes. For proving t...

متن کامل

Kolmogorov complexity and the asymptotic bound for error-correcting codes

The set of all error-correcting block codes over a fixed alphabet with q letters determines a recursively enumerable set of rational points in the unit square with coordinates (R, δ):= (relative transmission rate, relative minimal distance). Limit points of this set form a closed subset, defined by R ≤ αq(δ), where αq(δ) is a continuous decreasing function called the asymptotic bound. Its exist...

متن کامل

The Non - Recursive Power

We present two new complexity classes which are based on a complexity class C and an error probability function F. The rst, F-Err C, reeects the (weak) feasibility of problems that can be computed within the error bound F. As a more adequate measure to investigate lower bounds we introduce F-Errio C where the error is innnitely often bounded by the function F. These deenitions generalize existi...

متن کامل

Curiouser and Curiouser: The Link between Incompressibility and Complexity

This talk centers around some audacious conjectures that attempt to forge firm links between computational complexity classes and the study of Kolmogorov complexity. More specifically, let R denote the set of Kolmogorov-random strings. Let BPP denote the class of problems that can be solved with negligible error by probabilistic polynomial-time computations, and let NEXP denote the class of pro...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004